<?php
session_start();
if(!session_is_registered(username)){
header("Location:../administrator/index_admin.html");
}
?>